$f$\{$m$..$n$$^{-}$\} $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if $n$$\leq_{2}$$m$$\rightarrow$ nil else ($f$($m$)).($f$\{($m$+1)..$n$$^{-}$\}) fi  \emph{(recursive)}